1. Lectures on proof verification and approximation algorithms
Author: Ernst W. Mayr, Hans Jurgen Promel, Angelika Steger )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving,، Computer algorithms,، Approximation theory
Classification :
QA
76
.
L28
Vol
.
1367
